Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
241	TYPE SAFETY IN THE LINUX KERNEL A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-04-27 02:12:51 Computing Data types Program analysis Type theory Pointer Aliasing Type safety Escape analysis Programming language Static program analysis Programming language theory Software engineering
242	Improving Software Quality with Static Analysis William Pugh Professor Univ. of Maryland http://www.cs.umd.edu/~pugh Add to Reading List Source URL: findbugs.cs.umd.edu Language: English - Date: 2007-05-23 20:45:50 Coverity Checkstyle Software bug William Pugh Static program analysis Fortify Software Parasoft PMD Klocwork Software Computing FindBugs
243	Program Analysis with Regularly Annotated Constraints by John Kodumal B.S. (Harvey Mudd College[removed]A dissertation submitted in partial satisfaction of the requirements for the degree of Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-09-15 15:19:01 PAT Constraint programming Software engineering Program analysis Static program analysis George Necula
244	A MODULAR AND SYMBOLIC APPROACH TO STATIC PROGRAM ANALYSIS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-12-06 17:59:56 Algorithm Pointer Software bug Computing Computer programming Pointer analysis Static program analysis Software engineering
245	FEAP - - A Finite Element Analysis Program Version 8.4 Installation Manual Robert L. Taylor Department of Civil and Environmental Engineering University of California at Berkeley Add to Reading List Source URL: www.ce.berkeley.edu Language: English - Date: 2013-06-30 23:01:47 Computer file formats Build automation Make Environment variable Static library Library Apache Ant Path Unix Computing Software System software
246	Case Study: Sencore Ensuring High-Reliability Video Transmission with Static Analysis Add to Reading List Source URL: www.kaszas.ca Language: English - Date: 2013-02-24 15:04:56 Source code Klocwork Coverity Software review Program analysis Software quality Application security Software bug Code review Software engineering Computer programming Computing
247	Teaching program specification and verification using JML and ESC/Java2 Erik Poll Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2009-08-15 11:27:47 Logic in computer science Formal methods ESC/Java Programming paradigms Static program analysis Predicate transformer semantics KeY Postcondition Invariant Software engineering Theoretical computer science Computing
248	Program Analysis and Specialization for the C Programming Language Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-08-31 14:09:54 C++ Static program analysis C programming language Data types Pointer Struct Alias analysis C++ classes C Software engineering Computer programming Computing
249	Static Analyzers in Software Engineering Dr. Paul E. Black National Institute of Standards and Technology Add to Reading List Source URL: www.crosstalkonline.org Language: English - Date: 2010-10-29 18:34:27 Computing Electronics Measuring instruments Program analysis Static program analysis Vulnerability Software quality Software verification Bus analyzer Software testing Electronic test equipment Technology
250	A UNIFIED APPROACH TO GLOBAL PROGRAM OPTIMIZATION Add to Reading List Source URL: pdf.aminer.org Language: English - Date: 2011-10-18 12:13:04 Compiler construction Static single assignment form Data-flow analysis Mathematical optimization Function Search algorithms Centrality Tree decomposition Mathematics Graph theory Operations research